Interoperability Constraints and Requirements Formal Modelling and Checking Framework
نویسندگان
چکیده
This paper aims to present and formalize the foundations of a modeling and checking framework for system requirements management. It is illustrated by the study of interoperability requirements having to be respected all along collaborative (private or public) processes.
منابع مشابه
Interoperability in Enterprises Networks: A Characterisation and Analysis Approach
Interoperability problems which can occur during the collaboration between several enterprises can endanger this collaboration. Consequently, an enterprise manager needs tools in order to analyse rapidly the enterprise network and then become able to anticipate interoperability problems. Thus, the proposed approach in this paper is based on the specification of properties, representing interope...
متن کاملInteroperability in Collaborative Processes: Requirements Characterisation and Proof Approach
Interoperability problems which can occur during the collaboration between several enterprises can endanger this collaboration. Consequently, it is necessary to become able to anticipate these problems. The proposed approach in this paper is based on the specification of properties, representing interoperability requirements, and their analysis on enterprise models. Due to the conceptual limits...
متن کاملMaking Explicit Some Implicit i* Language Decisions
The i* (i-star) framework is one of the most widely adopted modelling approaches by several communities (business modelling, requirements engineering, ...). Probably due to its highly strategic nature, the definition of the modelling language offered by the framework does not make explicit the full behaviour of some basic constructs, leaving them thus open to several interpretations. This loose...
متن کاملA Deontic Logical Framework for Modelling Product Families
We discuss the application of deontic logics to the modelling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission and obligation, and hence promise a direct modelling of constraints over the products of a family. Indeed, we first show how feature models can be straightforwardly characterised by means of a deontic logic. We then st...
متن کاملApplications of Fuzzy Program Graph in Symbolic Checking of Fuzzy Flip-Flops
All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...
متن کامل